Skip to content

Update gersemi pre-commit hook to new repository#21

Merged
ednolan merged 1 commit intomainfrom
fix/gersemi-pre-commit-repo
Apr 20, 2026
Merged

Update gersemi pre-commit hook to new repository#21
ednolan merged 1 commit intomainfrom
fix/gersemi-pre-commit-repo

Conversation

@ednolan
Copy link
Copy Markdown
Member

@ednolan ednolan commented Apr 20, 2026

The gersemi project moved its pre-commit hook definition to a
separate repository (BlankSpruce/gersemi-pre-commit) starting
with v0.27.1, removing .pre-commit-hooks.yaml from the main repo.
This broke the weekly pre-commit autoupdate CI workflow.

See: BlankSpruce/gersemi@e647b52

Co-Authored-By: Claude Opus 4.6 (1M context) noreply@anthropic.com

The gersemi project moved its pre-commit hook definition to a
separate repository (BlankSpruce/gersemi-pre-commit) starting
with v0.27.1, removing .pre-commit-hooks.yaml from the main repo.
This broke the weekly pre-commit autoupdate CI workflow.

See: BlankSpruce/gersemi@e647b52

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@ednolan ednolan requested a review from tzlaine as a code owner April 20, 2026 15:13
@coveralls
Copy link
Copy Markdown

Coverage Status

coverage: 100.0%. remained the same — fix/gersemi-pre-commit-repo into main

@ednolan ednolan merged commit b26b8c7 into main Apr 20, 2026
104 of 106 checks passed
@ednolan ednolan deleted the fix/gersemi-pre-commit-repo branch April 20, 2026 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants